type T() =
    do ()
